UPPAAL in 1995

Uppaal a Tool Suite for Symbolic and Compositional Veriication of Real{time Systems ?

Diagnostic Model-Checking for Real-Time Systems

Uppaal is a new tool suit for automatic verification of networks of timed automata. In this paper we describe the diagnostic model-checking feature of Uppaal and illustrates its usefulness through the debugging of (a version of) the Philips Audio-Control Protocol. Together with a graphical interface of Uppaal this diagnostic feature allows for a number of errors to be more easily detected and c...

UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems

Uppaal is a tool suite for automatic verification of safety and bounded liveness properties of real-time systems modeled as networks of timed automata. It includes: a graphical interface that supports graphical and textual representations of networks of timed automata, and automatic transformation from graphical representations to textual format, a compiler that transforms a certain class of li...

Automatic Veri cation of Real { Time Systems ?

Uppaal is a tool suite for automatic veri cation of safety and bounded liveness properties of real-time systems modeled as networks of timed automata. It includes: a graphical interface that supports graphical and textual representations of networks of timed automata, and automatic transformation from graphical representations to textual format, a compiler that transforms a certain class of lin...

New Generation of UPPAAL ?

Uppaal is a tool-set for the design and analysis of real-time systems. In 6] a relatively complete description of Uppaal before 1997 has been given. This paper is focused on the most recent developments and also to complement the paper of 6]. The rst prototype of Uppaal, named Tab at the time, was developed at Uppsala University in 1993 by Wang Yi et al. Its theoretical foundation was presented...